Z-Library پر تلاش کریں David Basin:

علم اور ثقافت کا آپ کا گیٹ وے۔ سب کے لیے قابل رسائی۔

Don't use scam websites

کتابیں (26)
سب سے مشہور
فہرست
- فہرست
- جدول

1

Rippling: Meta-Level Guidance for Mathematical Reasoning

Rippling: Meta-Level Guidance for Mathematical Reasoning

Cambridge University Press

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

سال:

2005

زبان:

english

فائل:

PDF, 996 KB

0 / 0

english, 2005

2

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 12.00 MB

0 / 0

english, 2004

3

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)

سال:

1994

زبان:

english

فائل:

DJVU, 3.51 MB

0 / 0

english, 1994

4

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

سال:

2003

زبان:

english

فائل:

PDF, 2.93 MB

0 / 0

english, 2003

5

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 4.40 MB

0 / 0

english, 2004

6

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.)

سال:

2010

زبان:

english

فائل:

PDF, 6.39 MB

0 / 0

english, 2010

7

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Felix Klaedtke, Samuel Müller (auth.), Tayssir Touili, Byron Cook, Paul Jackson (eds.)

سال:

2010

زبان:

english

فائل:

PDF, 8.67 MB

0 / 0

english, 2010

8

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

سال:

2004

زبان:

english

فائل:

DJVU, 9.11 MB

0 / 0

english, 2004

9

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 10.61 MB

0 / 0

english, 2009

10

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 5.05 MB

0 / 0

english, 2009

11

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.)

سال:

2010

زبان:

english

فائل:

PDF, 6.47 MB

0 / 0

english, 2010

12

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Felix Klaedtke, Samuel Müller (auth.), Tayssir Touili, Byron Cook, Paul Jackson (eds.)

سال:

2010

زبان:

english

فائل:

PDF, 8.73 MB

0 / 0

english, 2010

13

信息安全实用教程

信息安全实用教程

北京：国防工业出版社

（瑞士）大卫·贝森（DAVID BASIN），帕特里克·沙勒（PATRICK SCHALLER），迈克尔·施莱普菲儿著；张涛，王金双，赵敏译, 贝森 (Basin, David)

سال:

2015

زبان:

Chinese

فائل:

PDF, 33.86 MB

0 / 0

Chinese, 2015

14

The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography)

The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography)

Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig

سال:

2022

زبان:

english

فائل:

PDF, 10.40 MB

4.0 / 5.0

english, 2022

15

Applied Information Security: A Hands-on Approach

Applied Information Security: A Hands-on Approach

Springer-Verlag Berlin Heidelberg

David Basin, Patrick Schaller, Michael Schläpfer (auth.)

سال:

2011

زبان:

english

فائل:

PDF, 1.43 MB

0 / 0

english, 2011

16

Labelled Deduction

Labelled Deduction

Springer Netherlands

David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò (eds.)

سال:

2000

زبان:

english

فائل:

PDF, 9.36 MB

0 / 0

english, 2000

17

Applied Information Security: A Hands-on Approach

Applied Information Security: A Hands-on Approach

Springer-Verlag Berlin Heidelberg

David Basin, Patrick Schaller, Michael Schläpfer (auth.)

سال:

2011

زبان:

english

فائل:

PDF, 1.58 MB

0 / 4.5

english, 2011

18

The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography)

The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography)

Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig

سال:

2022

زبان:

english

فائل:

PDF, 10.40 MB

0 / 5.0

english, 2022

19

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Springer-Verlag London

Ina Kraan, David Basin, Alan Bundy (auth.), Kung-Kiu Lau Bsc, PhD, Timothy Paul Clement Ma, DPhil (eds.)

سال:

1993

زبان:

english

فائل:

PDF, 10.01 MB

0 / 0

english, 1993

20

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

سال:

2003

زبان:

english

فائل:

PDF, 1.79 MB

0 / 0

english, 2003

21

Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Rémy Chrétien, Stéphanie Delaune (auth.), David Basin, John C. Mitchell (eds.)

سال:

2013

زبان:

english

فائل:

PDF, 3.46 MB

0 / 0

english, 2013

22

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)

سال:

1994

زبان:

english

فائل:

PDF, 6.81 MB

0 / 0

english, 1994

23

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 5.45 MB

0 / 0

english, 2009

24

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 5.50 MB

0 / 0

english, 2009

25

Labelled deduction

Labelled deduction

Springer Netherlands

David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò (eds.)

سال:

2000

زبان:

english

فائل:

DJVU, 2.27 MB

0 / 0

english, 2000

26

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 4.74 MB

0 / 0

english, 2009